Motivated action theory: a formal theory of causal reasoning
نویسندگان
چکیده
منابع مشابه
Motivated Action Theory: a Formal Theory of Causal Reasoning
When we reason about change over time, causation provides an implicit preference: we prefer sequences of situations in which one situation leads causally to the next, rather than sequences in which one situation follows another at random and without causal connections. In this paper, we explore the problem of temporal reasoning—reasoning about change over time—and the crucial role that causatio...
متن کاملWhy Things Go Wrong: A Formal Theory of Causal Reasoning
This paper presents a theory of generalized temporal reasoning. We focus on the related problems of 1. Temporal Projection-determining all the facts true in a chronicle, given a partial description of that chronicle, and 2. Explanation-figuring out what went wrong if an unexpected outcome occurs. We present a non-monotonic temporal logic based on the notion that actions only happen if they are ...
متن کاملA Formal Theory for Reasoning About Action, Knowledge and Time
Aiming at achieving a proper regulation of their behavior in real-world environments, participating agents need to reason not only about the specifications of the environment they inhabit, but also about their own knowledge concerning its current state by exploiting information acquired at run-time. Considering the highly dynamic nature of most complex domains, the study of knowledge evolution ...
متن کاملFormal Theory Building Using Automated Reasoning Tools
The merits of representing scientific theories in formal logic are well-known. Expressing a scientific theory in formal logic explicates the theory as a whole, and the logic provides formal criteria for evaluating the theory, such as soundness and consistency. On the one hand, these criteria correspond to natural questions to be asked about the theory: is the theory contradiction-free? (is the ...
متن کاملEvidential Reasoning in Semantic Networks: A Formal Theory
This paper presents an evidential approach to knowledge representation and inference wherein the principle of maximum entropy is applied to deal with uncertainty and incompleteness. It focuses on a restricted representation language similar in expressive power to semantic network formalisms, and develops a formal theory of evidential inheritance within this language. The theory applies to a lim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1994
ISSN: 0004-3702
DOI: 10.1016/0004-3702(94)90061-2